Лемма о жадной оценке

Лемма о жадной оценке

Формулировка:

Пусть $G$ — произвольный граф, $\Delta(G)$ — максимальная степень вершины в $G$. Тогда $\chi(G) \leq \Delta(G) + 1$.

Д-во:

Раскрасим $G$ следующим жадным алгоритмом: вершины $G$ упорядочиваются в список произвольным образом. Очередная вершина $v$ красится в наименьший из цветов, не совпадающих с цветами уже покрашенных смежных вершин. Алгоритм строит правильную раскраску. Любая вершина имеет не более $\Delta(G)$ окрашенных соседей и получает цвет $\leq \Delta(G) + 1$. $\square$

Теорема Брукса

Формулировка:

Если $G$ — неполный граф и $\Delta(G) \ge 3$, то $\chi(G) \le \Delta(G)$.